# LaTeX2HTML 2022 (Released January 1, 2022)
# Associate labels original text with physical files.


$key = q/adding_builtins/;
$external_labels{$key} = "$URL/" . q|node72_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/arithmetic/;
$external_labels{$key} = "$URL/" . q|node29_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/buffers/;
$external_labels{$key} = "$URL/" . q|node35_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/builtins/;
$external_labels{$key} = "$URL/" . q|node66_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/clause/;
$external_labels{$key} = "$URL/" . q|node17_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/coding_for_efficiency/;
$external_labels{$key} = "$URL/" . q|node67_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/comparison_of_terms/;
$external_labels{$key} = "$URL/" . q|node34_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/compiler_options/;
$external_labels{$key} = "$URL/" . q|node51_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/complementary_tests/;
$external_labels{$key} = "$URL/" . q|node68_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/cuts_and_if-then-else/;
$external_labels{$key} = "$URL/" . q|node22_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/debugging/;
$external_labels{$key} = "$URL/" . q|node42_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/impure_code/;
$external_labels{$key} = "$URL/" . q|node60_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/indexing_directives/;
$external_labels{$key} = "$URL/" . q|node55_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/inlinepredicatetable/;
$external_labels{$key} = "$URL/" . q|node24_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/internal_database/;
$external_labels{$key} = "$URL/" . q|node37_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/list/;
$external_labels{$key} = "$URL/" . q|node15_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/macros/;
$external_labels{$key} = "$URL/" . q|node57_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/operator_priorities/;
$external_labels{$key} = "$URL/" . q|node16_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/operators/;
$external_labels{$key} = "$URL/" . q|node16_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/query/;
$external_labels{$key} = "$URL/" . q|node19_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/rule/;
$external_labels{$key} = "$URL/" . q|node18_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/search_path/;
$external_labels{$key} = "$URL/" . q|node6_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/simulator_options/;
$external_labels{$key} = "$URL/" . q|node47_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/statistics/;
$external_labels{$key} = "$URL/" . q|node39_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/structures/;
$external_labels{$key} = "$URL/" . q|node15_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/system_directories/;
$external_labels{$key} = "$URL/" . q|node7_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/terms/;
$external_labels{$key} = "$URL/" . q|node15_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/the_compiler/;
$external_labels{$key} = "$URL/" . q|node49_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/unixsystemcalls/;
$external_labels{$key} = "$URL/" . q|node39_ct.html|; 
$noresave{$key} = "$nosave";

1;


# LaTeX2HTML 2022 (Released January 1, 2022)
# labels from external_latex_labels array.


1;

